Issue998d.agda:7,9-10
ℓ != Issue998d.ℓ of type Level
when checking that the expression A has type Set ℓ
